Proving and disproving correctness of functional programs - a first-order axiomatization of Haskell
- Författare
- Institutionen för datavetenskap (Göteborg) Martin Sjögren
- (Martin Sjögren., Examensarbete, Med kort sammanfattning på svenska)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2004 | Sverige, Göteborg | iii, 43 sidor. |